Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 36.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000313 | Noam Zeilberger [France] ; Alain Giorgetti [France] | A correspondence between rooted planar maps and normal planar lambda terms |
| 000622 | Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France] | A rule-based system for automatic decidability and combinability |
| 000659 | Richard Genestier [France] ; Alain Giorgetti [France] ; Guillaume Petiot [France] | Gagnez sur tous les tableaux |
| 000790 | Richard Genestier [France] ; Alain Giorgetti [France] ; Guillaume Petiot [France] | Sequential generation of structured arrays and its deductive verification |
| 000885 | Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France] | A Symbolic Transformation Language and its Application to a Multiscale Method |
| 000961 | Ivan Enderlin [France] ; Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] | Praspel: Contract-Driven Testing for PHP using Realistic Domains |
| 000A20 | Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | How Test Generation Helps Software Specification and Deductive Verification in Frama-C |
| 000B59 | Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C |
| 001153 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability: A Schematic Calculus for Theories with Counting Operators |
| 001171 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability for Theories with Counting Operators |
| 001270 | Ivan Enderlin [France] ; Alain Giorgetti [France] ; Fabrice Bouquet [France] | A Constraint Solver for PHP Arrays |
| 001873 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability for Theories Modulo Integer Offsets |
| 001A62 | Alain Giorgetti [France] ; Valerio Senni [Italie] | Specification and Validation of Algorithms Generating Planar Lehman Words |
| 001B64 | Ivan Enderlin [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] ; Fabrice Bouquet [France] | Grammar-Based Testing using Realistic Domains in PHP |
| 001B93 | Omar Chebaro [France] ; Nikola I Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis |
| 001C02 | Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France] | A Rule-Based Framework for Building Superposition-Based Decision Procedures |
| 002014 | Ivan Enderlin [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] ; Abdallah Ben Othman [France] | Praspel: A Specification Language for Contract-Based Testing in PHP |
| 002219 | Gérard Cécé [France] ; Alain Giorgetti [France] | Simulations over Two-Dimensional On-Line Tessellation Automata |
| 002256 | Omar Chebaro [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging |
| 002333 | Walid Belkhir [France] ; Alain Giorgetti [France] | Lazy AC-Pattern Matching for Rewriting |
| 002335 | Walid Belkhir [France] ; Alain Giorgetti [France] | Lazy Rewriting Modulo Associativity and Commutativity |
| 002477 | Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France] | Rewriting and Symbolic Transformations for Multiscale Methods |
| 002A48 | Gérard Cécé [France] ; Alain Giorgetti [France] | Simulations for a Class of Two-Dimensional Automata |
| 002B57 | Alain Giorgetti [France] | Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System |
| 002C20 | Alain Giorgetti [France] ; Ahmed Hammad [France] ; Bruno Tatibouët [France] | Using SysML for Smart Surface Modeling |
| 002D75 | Alain Giorgetti [France] ; Claude Marché [France] ; Elena Tushkanova [France] ; Olga Kouchnarenko [France] | Specifying Generic Java Programs: two case studies |
| 003255 | Omar Chebaro [France] ; Nikolaï Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | Combining Static Analysis and Test Generation for {C} Program Debugging |
| 003374 | Elena Tushkanova [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Specifying and Proving a Sorting Algorithm |
| 003522 | Jean-François Couchot [France] ; Alain Giorgetti [France] ; Nicolas Stouls [France] | Graph Based Reduction of Program Verification Conditions |
| 004143 | Alain Giorgetti [France] ; Julien Groslambert [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France] | Verification of class liveness properties with Java modeling language |
| 004563 | Jean-François Couchot [France] ; Alain Giorgetti [France] ; Nicolas Stouls [France] | Graph-based Reduction of Program Verification Conditions |
| 004A06 | Alain Giorgetti [France] ; Julien Groslambert [France] | Un programme annoté en vaut deux |
| 004A13 | Fabrice Bouquet [France] ; Jean-François Couchot [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] | Instantiation of Parameterized Data Structures for Model-Based Testing |
| 005170 | Alain Giorgetti [France] ; Julien Groslambert [France] | JAG : Génération d'annotations JML pour vérifier des propriétés temporelles |
| 005175 | Alain Giorgetti [France] ; Julien Groslambert [France] | JAG: JML Annotation Generation for Verifying Temporal Properties |
| 005674 | Alain Giorgetti [France] ; Julien Groslambert [France] | JAG : Génération d'annotations JML pour vérifier des propriétés temporelles |
| This area was generated with Dilib version V0.6.33. |  |